Software verification at Bell Labs: One line of development
نویسندگان
چکیده
منابع مشابه
Plan 9 from Bell Labs
By the mid 1980 s, the trend in computing was away from large centralized time-shared computers towards networks of smaller, personal machines, typically UNIX worksta tions . People had grown weary of overloaded, bureaucratic timesharing machines and were eager to move to small, self-maintained systems, even if that meant a net loss in computing power. As microcomputers became faster, even tha...
متن کاملDescription of the Bell Labs Intonation System
This paper describes the approach to intonation modeling currently used in the Bell Labs Multi-lingual Text-to-Speech System for English, French, German, Italian, Spanish, Russian, Romanian, and Japanese.
متن کاملBell Labs Approach to Aurora Evalua Recognition
In this paper we study various front-end features, modeling and adaptation algorithms on the Aurora 3 databases, including auditory, moment, and AM-FM modulation features, context-dependent digit models, segmental K-means training, discriminative training, and model adaptations. The evaluation results on Aurora 3 are presented with a brief summary of our Aurora 2 results.
متن کاملValidation of Acoustical Simulations in the “Bell Labs Box”
Computer simulated sound propagation through 3D environments is important in many applications, including computer-aided design, training, and virtual reality. In many cases, the accuracy of the acoustical simulation is critical to the success of the application. For example, in concert hall and factory design (where OSHA sound limits must be met), the accuracy of the simulation may save costly...
متن کاملCreating a Network for Lucent Bell Labs Research South
This paper describes the tools and techniques used to split the AT&T Bell Labs Research networks in Holmdel and Crawford Hill into separate networks for Lucent Bell Labs and AT&T Labs as part of the ‘‘tri-vestiture’’ of AT&T in 1996. The environment did not permit us to keep the system down for an extended period of time. Legacy systems and old configurations were supported while new systems we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bell Labs Technical Journal
سال: 2002
ISSN: 1089-7089
DOI: 10.1002/bltj.2206